Nuprl Definition : insert
0,22
postcript
pdf
insert(
a
;
L
) == if deq-member(
eq
;
a
;
L
)
L
else
a
.
L
fi
latex
clarification:
insert(
eq
;
a
;
L
) == if deq-member(
eq
;
a
;
L
)
L
else
a
.
L
fi
latex
Definitions
deq-member(
eq
;
x
;
L
)
,
if
b
t
else
f
fi
FDL editor aliases
insert
origin
L else a.L fi
L else a.L fi L else a.L fi
L else a.L fi t else f fi